Unit $\in$ Type